大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Conference onComputer Safety 的图书(共10863本)

One Hundred Years of Intuitionism (1907鈥ⰰ7) [electronic resource] : The Cerisy Conference

0
索取号:
作者:Atten、 Mark.、Boldini、 Pascal.、Bourdeau、 Michel.、Heinzmann、 Gerhard.、SpringerLink (Online service)、
出版社:Basel : Birkh盲user Basel, 2008.

Reports on Food Safety 2005 [electronic resource] : Food Monitoring

0
索取号:
作者:Brandt、 Peter.、SpringerLink (Online service)、
出版社:Basel : Birkh盲user Basel, 2007.

Graph Theory in Paris [electronic resource] : Proceedings of a Conference in Memory of Claude Berge

0
索取号:
作者:Bondy、 Adrian.、Fonlupt、 Jean.、Fouquet、 Jean-Luc.、Fournier、 Jean-Claude.、Ram铆rez Alfons铆n、 Jorge L.、SpringerLink (Online service)、
出版社:Basel : Birkh盲user Basel, 2007.

Recent Advances in Operator Theory, Operator Algebras, and their Applications [electronic resource] : XIXth International Conference on Operator Theory, Timi艧oara (Romania), 2002

0
索取号:
作者:Ga艧par、 Dumitru.、Timotin、 Dan.、Zsid贸、 L谩szl贸.、Gohberg、 Israel.、Vasilescu、 Florian-Horia.、SpringerLink (Online service)、
出版社:Basel : Birkh盲user Basel, 2005.

Hydrocephalus [electronic resource] : Selected Papers from the International Workshop in Crete, 2010

0
索取号:
作者:Aygok、 Gunes A.、Rekate、 Harold L.、SpringerLink (Online service)、
出版社:Vienna : Springer Vienna, 2012.

ISSE 2012 Securing Electronic Business Processes [electronic resource] : Highlights of the Information Security Solutions Europe 2012 Conference

0
索取号:
作者:Reimer、 Helmut.、Pohlmann、 Norbert.、Schneider、 Wolfgang.、SpringerLink (Online service)、
出版社:Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.

Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers

0
索取号:
作者:Arumugam、 S.、Smyth、 W. F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Critical Infrastructure Protection VI [electronic resource] : 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers

0
索取号:
作者:Butts、 Jonathan.、Shenoi、 Sujeet.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Product Lifecycle Management. Towards Knowledge-Rich Enterprises [electronic resource] : IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers

0
索取号:
作者:Rivest、 Louis.、Bouras、 Abdelaziz.、Louhichi、 Borhen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

E-Business and Telecommunications [electronic resource] : International Joint Conference, ICETE 2011, Seville, Spain, July 18-21, 2011, Revised Selected Papers

0
索取号:
作者:Obaidat、 Mohammad S.、Sevillano、 Jos茅 L.、Filipe、 Joaquim.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

0
索取号:
作者:Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

0
索取号:
作者:Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Focused Retrieval of Content and Structure [electronic resource] : 10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbr眉cken, Germany, December 12-14, 2011, Revised Selected Papers

0
索取号:
作者:Geva、 Shlomo.、Kamps、 Jaap.、Schenkel、 Ralf.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

0
索取号:
作者:Palmirani、 Monica.、Pagallo、 Ugo.、Casanovas、 Pompeu.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Security Protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers

0
索取号:
作者:Christianson、 Bruce.、Malcolm、 James.、Stajano、 Frank.、Anderson、 Jonathan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 鈥ʵly 2, 2011, Revised Selected Papers

0
索取号:
作者:Biganzoli、 Elia.、Vellido、 Alfredo.、Ambrogi、 Federico.、Tagliaferri、 Roberto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
最近添加的分类